#ifndef USERPROG_SYSCALL_H
#define USERPROG_SYSCALL_H

#include <list.h>
#include "threads/synch.h" // We want to use locks

struct lock sys_call_lock;
/* Entries in the system-wide open-file table
We don't need it anymore
*/
/*struct swof 
  {
    char *filename;                   // Opened file name
    int have_it_open;                 // Number of processes that have this file open
    //bool removed;                   // Flag that tells if the file is marked to be removed
    struct file* file;                // This is the real file in the file system
    struct list_elem elem;            // List element
  };
*/

void syscall_init (void);

#endif /* userprog/syscall.h */
